​TECT will be rebooted on the evening of 2013-09-14 for security updates and other maintenance purposes.